GtkHeaderBar: Refresh window buttons when settings change
authorMatthias Clasen <mclasen@redhat.com>
Mon, 6 Jan 2014 15:31:34 +0000 (10:31 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 6 Jan 2014 15:32:18 +0000 (10:32 -0500)
commitf723113127ae5d61cbd53dae4404f4f7a4f9c05c
tree713cd1a8b6d0200f4ff1f83708345013e14b4ec4
parent360f89d251409d9f788367d3cff1041a9fa01e08
GtkHeaderBar: Refresh window buttons when settings change

We already do this when the shell-shows-menu settings changes,
but we forgot to do the same for the decoration layout.
gtk/gtkheaderbar.c